implicit definability

隐含可定义性